Một phân hoạch α của một tập X là một mịn hóa của một phân hoạch ρ - ta cũng nói α mịn hơn ρ hay ρ ráp hơn α - nếu mọi phần tử của α là một tập con của một phần tử của ρ.
Ta gọi quan hệ thứ tự một phần xác định bởi mịn hóa giữa các phân hoạch là độ mịn.
